Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
881	LTL Formalization of BPML Semantics and Visual Notation for Linear Temporal Logic Marco Brambilla Add to Reading List Source URL: www.webml.org Language: English - Date: 2005-01-24 06:26:34 OSI protocols Science Logic in computer science Linear temporal logic Process management Business Process Model and Notation Logic Workflow XML Temporal logic Computing Workflow technology
882	Optimal Market-based Multi-Robot Task Allocation via Strategic Pricing Lantao Liu Add to Reading List Source URL: www.roboticsproceedings.org Language: English - Date: 2013-08-29 10:30:15 Matching Combinatorial optimization Operations research Algorithm Mathematical logic Theoretical computer science Hungarian algorithm Assignment problem Linear programming Mathematics Mathematical optimization Applied mathematics
883	MOSCOW MATHEMATICAL JOURNAL Volume 9, Number 4, October–December 2009, Pages 899–926 Add to Reading List Source URL: www.ams.org Language: English - Date: 2009-12-16 12:21:16 Generalized functions Symbol Fourier transform Distribution Convolution Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Fourier analysis Functional analysis
884	E. The Hahn-Banach Theorem This Appendix contains several technical results, that are extremely useful in Functional Analysis. The following terminology is useful in formulating the Add to Reading List Source URL: www.math.ksu.edu Language: English - Date: 2002-11-25 12:30:52 Functional analysis Linear algebra Hahn–Banach theorem Locally convex topological vector space Vector space Function Spectral theory of ordinary differential equations Linear temporal logic Mathematics Algebra Mathematical analysis
885	What is a categorical model for Linear Logic? Andrea Schalk Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2004-10-15 10:42:33 Closed monoidal category Monoidal functor Monoidal natural transformation Monoid Braided monoidal category Cartesian closed category Product PRO Adjoint functors Category theory Monoidal categories Algebra
886	National Semiconductor Linear Brief 12 Robert J. Widlar Add to Reading List Source URL: www.bdtic.com Language: English - Date: 2013-01-11 10:48:02 Electronic circuits Logic families Integrated circuits Comparator Digital electronics Operational amplifier Transistor–transistor logic Logic gate Fan-out Electronic engineering Electronics Electromagnetism
887	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
888	Universality for mathematical and physical systems Percy Deift∗ Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:04 Mathematical physics Spectral theory Lambda calculus Combinatory logic Logic in computer science Eigenvalues and eigenvectors Random matrix Weight Spectrum Algebra Mathematics Linear algebra
889	Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999 Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2008-10-17 09:32:38 Non-classical logic Formal languages Logic in computer science Categorial grammar Noncommutative logic Proof theory Linear logic Johan van Benthem Bunched logic Logic Mathematical logic Substructural logic
890	PDF Document Add to Reading List Source URL: www2.ph.ed.ac.uk Language: English - Date: 2012-11-29 09:19:18 Partial differential equations Spinors Dirac equation Fermions Wave function Energy operator Interpretation Linear temporal logic Spectral theory of ordinary differential equations Physics Quantum mechanics Quantum field theory

UPDATE